81. Public Key Cryptography ђ́أ PKC 2012
Author: edited by Marc Fischlin, Johannes Buchmann, Mark Manulis
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity,Computer Communication Networks,Computer science,Computer software,Data encryption (Computer science),Data protection,Information Systems,Algorithm Analysis and Problem Complexity,Computer Communication Networks,Computer Science,Data Encryption,Discrete Mathematics in Computer Science,Management of Computing and Information Systems,Systems and Data Security

82. Reachability problems :
Author: Igor Potapov, Pierre-Alain Reynier (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
Classification :
QA76
.
76
.
V47


83. Reliable and autonomous computational scienc
Author: / Sung Y. Shin, Rex Gantenbein, Tei-Wei Kuo, Jiman Hong (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computational complexity, Congresses,Computational intelligence, Congresses,Intelligent agents (Computer software), Congresses
Classification :
E-BOOK

84. Reliable and autonomous computational science
Author: Sung Y. Shin, Rex Gantenbein, Tei-Wei Kuo, Jiman Hong (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity, Congresses.,Computational intelligence, Congresses.,Intelligent agents (Computer software), Congresses.

85. Research in Computational Molecular Biology
Author: edited by Benny Chor
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence,Bioinformatics,Computer science,Computer software,Data structures (Computer science),Database management,Algorithm Analysis and Problem Complexity,Artificial Intelligence (incl. Robotics),Computation by Abstract Devices,Computational Biology/Bioinformatics,Computer Science,Data Structures,Database Management

86. Shortest path solvers :
Author: Andrew Adamatzky, editor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cellular automata.,Computer algorithms.,Mathematical optimization.,Artificial intelligence.,Cellular automata.,Computer algorithms.,COMPUTERS-- General.,Cybernetics & systems theory.,Mathematical optimization.
Classification :
QA76
.
9
.
A43


87. Structural Complexity I
Author: by José Luis Balcázar, Josep Díaz, Joaquim Gabarró.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics.,Computer science.,Computer software.

88. Systems biomedicine :
Author: edited by Edison T. Liu, Douglas A. Lauffenburger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Medical sciences-- Computer simulation.,Systems biology.,Computer Simulation.,Systems Biology.,Biomathematik,Medical sciences-- Computer simulation.,Medizin,Systembiologie,Systems biology.
Classification :
QH324
.
2
.
S978
2009


89. TAPSOFT'93 : Theory and practice of software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993: proceedings
Author: M.C. Gaudel, J.P. Jouannaud )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
Classification :
QA
76
.
L28
Vol
.
668


90. TAPSOFT'87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987
Author: edited by Harmut Ehrig...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
Classification :
QA
76
.
L28
Vol
.
249-250


91. TAPSOFT'89 : proceedings of the International Joint conference on theory and practice of software development, Barcelona, Spain, March 13-17, 1989
Author: J. Diaz, F. Orejas )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Software engineering,Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
351-352


92. TAPSOFT 91 : proceedings of the international joint conference on theory and practice of software development, Brighton, UK, April 8-12, 1991
Author: S. Abramsky, T.S.E. Maibaum )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Software engineering,Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
Classification :
QA
76
.
L28
Vol
.
493-494


93. TAPSOFT'97 : theory and practice of software development : 7th International Joint Conference CAAP/ FASE ... 1997 : proceedings
Author: Michel Bidoit, Max Dauchet )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
Classification :
QA
76
.
L28
Vol
.
1214


94. The singularity is near :
Author: Ray Kurzweil.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Brain-- Evolution.,Genetics.,Human evolution.,Nanotechnology.,Robotics.,Artificial Intelligence.,Biological Evolution.,Neural Networks (Computer)
Classification :
QP376
.
K85
2006


95. Theoretical Computer Science :
Author: edited by Armin B. Cremers, Hans-Peter Kriegel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.
Classification :
QA267
.
E358
1982


96. Theory and applications of satisfiability testing -- SAT 2019 :
Author: Mikoláš Janota, Inês Lynce (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms, Congresses.,Computer software-- Verification, Congresses.,Computer algorithms.,Computer software-- Verification.
Classification :
QA76
.
9
.
A43


97. Theory of Semi-Feasible Algorithms
Author: by Lane A. Hemaspaandra, Leen Torenvliet.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity.,Computer science.,Computer software.
Classification :
QA76
.
9
.
A43
B953
2003


98. Topics in Cryptology -- CT-RSA 2006
Author: edited by David Pointcheval.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity.,Computer networks.,Computer software.,Data encryption (Computer science),Information networks.,Operating systems (Computers)

99. Transactions on Computational Science VIII
Author: edited by Marina L. Gavrilova, C. J. Kenneth Tan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity.,Computer science.,Computer software.,Computer vision.,Information storage and retrieval systems.,Optical pattern recognition.

100. Transactions on Computational Science XI
Author: edited by Marina L. Gavrilova, C. J. Kenneth Tan, Edward David Moreno.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Coding theory.,Computational complexity.,Computer networks.,Computer science.,Computer software.,Data encryption (Computer science)
